121. Mathematics of program construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings
پدیدآورنده : Dexter Kozen )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
3125
122. Mathematics of program construction : 375th anniversary of the Groningen University : international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
6
.
M366
1989
123. Mathematics of program construction: 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004: proceedings
پدیدآورنده : Dexter Kozen, editor
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : Congresses ، Computer programming,Congresses ، Computer science - Mathematics
رده :
QA
76
.
6
.
I5535
2004
124. Matlab by example : programming basics
پدیدآورنده : Gdeisat, Munther
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، MATLAB,Data processing ، Mathematics,Data processing ، Numerical analysis,، Computer programming,Computer programs ، Numerical analysis,، Graphical user interfaces )Computer systems(
رده :
QA
297
.
M34
125. Matrix transforms for computer games and animation
پدیدآورنده : Vince, John )John A.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : Mathematics ، Computer graphics,Programming ، Computer games,، Linear programming,Programming ، Computer games,Mathematics ، Computer graphics,، Linear programming
رده :
T
385
.
V5627
2012
126. Numerical C
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science. ; Computer science ; Mathematics. ; Programming Languages, Compilers, Interpreters. ;
127. Numerical Methods Using Java :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Java (Computer program language) ; Computer algorithms ; Programming (Mathematics) ;
128. Optimization modeling with LINGO
پدیدآورنده : [Linus Schrage]&
موضوع : Industrial management- Mathematical models,Industrial management- Linear programming,Business mathematics- Linear programming,Industrial management- Linear programming- Computer programs
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
129. #Optimization techniques with Fortran
پدیدآورنده : #]by[ James L. Kuester ]and[ Joe H. Mize
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Mathematical optimization -- Data processing ،Programming )Mathematics( -- Data processing ،FORTRAN )Computer program language(
رده :
#
QA
،#.
K84
130. Optimization techniques with Fortran
پدیدآورنده : / James L. Kuester, Joe H. Mize
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Electronic data processing,Elctronic data processing programming,(Mathematics),FORTRAN (Computer programlanguage),-- Mathematical optimization
رده :
519
.
7
K95O
1973
131. Optimization techniques with Fortran
پدیدآورنده : Kuester, James L.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Mathematical optimization-- Data processing,، Programming )Mathematics(-- Data processing,، FORTRAN )Computer program language(
رده :
QA
402
.
5
.
K84
132. Point-to-set maps and mathematical programming /
پدیدآورنده : edited by P. Huard ; A. Auslender [and others].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mappings (Mathematics),Programming (Mathematics),Applications (Mathématiques),Programmation (Mathématiques),COMPUTER PROGRAMMING.,Lineare Optimierung,Lineare Optimierung.,Mappings (Mathematics),Optimierung,Optimierung.,Programmation (mathématiques),Programming (Mathematics)
رده :
QA402
.
5
.
P57
133. Practical MATLAB Deep Learning
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer Science; Programming Languages, Compilers, Interpreters; Hardware and Maker; Mathematics of Computing; Programming Techniques
134. Predicate transformer semantics
پدیدآورنده : Manes, Ernest G.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Computer science-- Mathematics
رده :
QA
76
.
7
.
M342
1992
135. Process Algebra for Parallel and Distributed Processing
پدیدآورنده :
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Mathematics, Computing: Professional & Programming, Algebra, Computer architecture & logic design, Computing: general, Programming languages, Mathematics, Programming Languages - General,، Science
136. Programming Classics: implementing the world's best algorithms
پدیدآورنده : / Lan Oliver
کتابخانه: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع : Computer algorithms,Programming ( Mathematics )
رده :
005
.
1
O48p
137. Programming for computations -- Python :
پدیدآورنده : Svein Linge, Hans Petter Langtangen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming.,Computer science-- Mathematics.,Python (Computer program language),Computer programming.,Computer science-- Mathematics.,Python (Computer program language)
رده :
QA76
.
9
.
M35
138. Programming for mathematicians
پدیدآورنده : Seroul, Raymond.
کتابخانه: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع : ، Computer programming,Data processing ، Mathematics
رده :
QA
76
.
6
.
S465
2000
139. Quality control with R : an ISO standards approach
پدیدآورنده : Emilio L. Cano, Javier M. Moguerza, Mariano Prieto
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، R )Computer program language(,، Computer programming -- Quality control,، MATHEMATICS / Applied
رده :
TS
156
.
C665
2015
140. R data analysis cookbook :
پدیدآورنده : Viswa Viswanathan, Shanthi Viswanathan
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data mining-- Mathematics,Domain-specific programming languages,R (Computer program language)
رده :
QA276
.
45
.
R3
